Supera Peano

affermando che  le noz prim sono variabili e riducibili a Relazione e Classe